A New Representation for Exact Real Numbers 1

نویسندگان

  • Abbas Edalat
  • Peter John Potts
چکیده

We develop the theoretical foundation of a new representation of real numbers based on the in nite composition of linear fractional transformations (lft), equivalently the in nite product of matrices, with non-negative coe cients. Any rational interval in the one point compacti cation of the real line, represented by the unit circle S1, is expressed as the image of the base interval [0;1] under an lft. A sequence of shrinking nested intervals is then represented by an in nite product of matrices with integer coe cients such that the rst so-called sign matrix determines an interval on which the real number lies. The subsequent so-called digit matrices have non-negative integer coe cients and successively re ne that interval. Based on the classi cation of lft's according to their conjugacy classes and their geometric dynamics, we show that there is a canonical choice of four sign matrices which are generated by rotation of S1 by =4. Furthermore, the ordinary signed digit representation of real numbers in a given base induces a canonical choice of digit matrices.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Lazy Algorithms for Exact Real Arithmetic

In this article we propose a new representation for the real numbers. This representation can be conveniently used to implement exact real number computation with a lazy programming languages. In fact the new representation permits the exploitation of hardware implementation of arithmetic functions without generating the granularity problem. Moreover we present a variation of the Karatsuba algo...

متن کامل

A New Representation for Exact Real Numbers 1 Abbas

We develop the theoretical foundation of a new representation of real numbers based on the innnite composition of linear fractional transformations (lft), equivalently the innnite product of matrices, with non-negative coeecients. Any rational interval in the one point compactiication of the real line, represented by the unit circle S 1 , is expressed as the image of the base interval 0; 1] und...

متن کامل

New Representation for Exact Real Numbers 1

We develop the theoretical foundation of a new representation of real numbers based on the innnite composition of linear fractional transformations (lft), equivalently the innnite product of matrices, with non-negative coeecients. Any rational interval in the one point compactiication of the real line, represented by the unit circle S 1 , is expressed as the image of the base interval 0; 1] und...

متن کامل

From coinductive proofs to exact real arithmetic: theory and applications

Based on a new coinductive characterization of continuous functions we extract certified programs for exact real number computation from constructive proofs. The extracted programs construct and combine exact real number algorithms with respect to the binary signed digit representation of real numbers. The data type corresponding to the coinductive definition of continuous functions consists of...

متن کامل

A Note on Solving Prandtl's Integro-Differential Equation

A simple method for solving Prandtl's integro-differential equation is proposed based on a new reproducing kernel space. Using a transformation and modifying the traditional reproducing kernel method, the singular term is removed and the analytical representation of the exact solution is obtained in the form of series in the new reproducing kernel space. Compared with known investigations, its ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997